The 14th International Congress of Logic, Methodology and Philosophy of Science was held in July, 19th – 26th, 2011 in Nancy, the historic capital of Lorraine and birthplace of Henri Poincaré. We were very honored that the President of the French Republic, Monsieur Nicolas Sarkozy, generously agreed his patronage. The LMPS congresses represent the current state of the art and offer new perspectives in its fields. There were 900 registered participants from 56 different countries. They filled...

The 14th International Congress of Logic, Methodology and Philosophy of Science was held in July, 19th – 26th, 2011 in Nancy, the historic capital of Lorraine and birthplace of Henri Poincaré. We were very honored that the President of the French Republic, Monsieur Nicolas Sarkozy, generously agreed his patronage. The LMPS congresses represent the current state of the art and offer new perspectives in its fields. There were 900 registered participants from 56 different countries. They filled...

The 14th Congress of Logic, Methodology and Philosophy of Science will be held on July 19-26, 2011, in Nancy, France . In order to provide some historical background about DLMPS Congresses, we are honoured to have the opportunity to reissue a chapter of Anita Burdman Feferman and Solomon Feferman's Alfred Tarski : Life and Logic, dedicated to the early history of the DLMPS and the organization of the first Congress held in 1960 in Stanford. We are very grateful to the (...) authors and the Cambridge University Press for their kind authorization to reissue this text. (shrink)

This Festschrift is published on the occasion of Gerhard Heinzmann's 60th birthday. Its title "Construction" refers to Heinzmann's philosophical options, as well as to his exceptional involvement in the building of many scientific enterprises and new scientific institutions. Sixty authors contributed to the volume, and the gathered essays witness the various centers of interest and intellectual achievements of Heinzmann. They are organised in five sections: Henri Poincare; History and Philosophy of Mathematics; History and Philosophy of Logic; Pragmatism; (...) and Miscellaneous. (shrink)

This volume would not exist without the help of all those who contributed to the organisation of the MacColl centenary meeting (Boulogne-sur-Mer, 9--10 October 2009). We are especially grateful to Bruno Béthouart, Jacques Dubucs, Gerhard Heinzmann, and Shahid Rahman. We would also like to thank Michael Astroh, Sandrine Avril, Anny Bégard, Christian Berner, Pierre-Édouard Bour, Peggy Cardon, Emmanuelle Jablonsky, Christian Mac Coll, Tony Mann, Gildas Nzokou, Max Papyle, Bernard Quéh...

This volume would not exist without the help of all those who contributed to the organisation of the MacColl centenary meeting (Boulogne-sur-Mer, 9--10 October 2009). We are especially grateful to Bruno Béthouart, Jacques Dubucs, Gerhard Heinzmann, and Shahid Rahman. We would also like to thank Michael Astroh, Sandrine Avril, Anny Bégard, Christian Berner, Pierre-Édouard Bour, Peggy Cardon, Emmanuelle Jablonsky, Christian Mac Coll, Tony Mann, Gildas Nzokou, Max Papyle, Bernard Quéh...

This volume analyzes welfare policies by looking at the making of their target publics. It examines how these populations are identified and constructed by policy making. The contributors apply the classic theoretical question about who gets what, when, and how, but also suggest the revisiting of policy-feedback analysis. Coverage includes empirical case studies in different geographical areas. It looks at Europe, the United States and also considers Mayotte, set in a post-colonial context. The chapters also examine different aspects of welfare, (...) including the bureaucratic treatment of marginalized populations as well as the middle class. The authors draw on diverse conceptual approaches and investigative methodologies. They conduct participant observation in public or nonprofit organizations, explore administrative records, and interview actors at various stages of policymaking. This qualitative material is then combined with relevant quantitative data. Readers are guided through a multilevel approach of welfare policies, from their definition to their implementation. They gain insight into the targeting of publics, from the higher reaches of government to the most underprivileged groups of the social world. Overall, the book compares different national contexts and social policy fields. This approach unearths regularities, enabling the authors to reassess major contemporary transformations of the welfare State. (shrink)

The proposal of this article is to present and discuss the methodology applied in the frame of a socio-anthropological research held in Bolivia and Peru on child development and growth. The objectives of the investigation were to study the mother?s perceptions (and those of other related caretakers..

L’idée d’organiser à Paris un congrès international de philosophie scientifique « fut émise pour la première fois au cours d’une conversation à Berlin, en juillet 1932, entre Hans Reichenbach et Louis Rougier ». Dans une lettre du 6 août 1932 adressée à Reichenbach, Rougier mentionne déjà des contacts avec le ministère des Affaires étrangères pour obtenir des subventions et le 6 novembre de la même année, il propose à Reichenbach de tenir la manifestation en 1934 [voir Padovani 2006, 239-–240...

This article sets out to show that Mary Wollstonecraft’s Vindication of the Rights of Woman (1792) was translated by Félicité Brissot de Warville, the wife of the prominent Girondin leader, Jacques-Pierre Brissot de Warville, and annotated by both. The demonstration is carried out through a study of the works translated by them, together or singly, before 1792: the annotation of those earlier works is echoed by the themes of the notes in the later chapters of the Vindication. These notes (...) reflect J.-P. Brissot’s admiration for Quakers and for British intellectual figures such as Richard Price and Joseph Priestley (whom he knew), dislike of clergy and interest in education. Two long notes also express Félicité’s frustration at being confined to the role of mother and housewife, and can be paralleled with statements in her correspondence. To some extent, she appears as an alter ego of Wollstonecraft. (shrink)

L’objet qui réunit ici les contributions d’historiens de la philosophie moderne et contemporaine est vaste et complexe ; de surcroît le colloque dont ce volume retranscrit les actes avait pour ambition, peut-être un peu excessive, de couvrir une période longue de la Geschichte der Logik : de Descartes à Husserl, ou, mieux encore, mais selon une association peu fréquente : de Pierre de La Ramée à Heidegger. On y trouvera donc une certaine diversité d’époques et de points de vue, (...) mais sous l’un... (shrink)

« Nul ne deviendrait philosophe s’il n’était d’abord un peu fou » (F. Alquié) Les trois études rassemblées sous le titre de Querelles cartésiennes portent, pourrait-on croire, sur Descartes. Mais il n’en est rien, ou presque. Ceci n’est pas un livre « sur », « pour » ni « avec » Descartes, mais sur l’histoire de la philosophie, elle-même comprise comme une histoire des conflits – une polémographie. En analysant ces différentes querelles, Macherey s’intéresse au différend comme tel, à son (...) sta... (shrink)

In our critical review of Doing without Concepts, we argue that although the heterogeneity hypothesis (according to which exemplars, prototypes and theories are natural kinds that should replace ‘concept’) may end fruitless debates in the psychology of concepts, Edouard Machery did not anticipate one consequence of his suggestion: Definitions now acquire a new status as another one of the bodies of information replacing ‘concept’. In order to support our hypothesis, we invoke dual-process models to suggest that prototypes, exemplars and (...) theories are ‘Type 1’ concepts (automatic, implicit) and definitions ‘Type 2’ concepts (controlled, explicit). In the context of this argument, we suggest that one must better distinguish between Type 1 theories (e.g., Bayesian causal nets) and Type 2 theories (e.g., scientific) that explicitly control definitions. (shrink)

Les textes qui suivent sont issus de deux séances du séminaire « Avec Foucault » organisées au cours de l'année 2015 à l'UMR « Savoirs, textes, langage ». Lors de chacune de ces séances, différents ouvrages publiés récemment par Pierre Macherey ont été présentés et discutés par Orazio Irrera, Edouard Mehl et Philippe Sabot. Lors d'une première séance de travail, la réflexion s'est portée sur la question des normes que Pierre Macherey aborde en réinscrivant la démarche de (...) Foucault sur ce thème... (shrink)

Comme Édouard Mehl le montre dans sa présentation des Querelles cartésiennes de Pierre Macherey, l’enjeu de ces « querelles » réside moins dans l’interprétation de Descartes en termes de vérité (en vue de répondre à la question : que veut vraiment dire Descartes?) que dans son interprétation en contexte, c’est-à-dire dans le contexte de l’introduction, en France, via Corbin en particulier, de la pensée heideggerienne qui constitue l’arrière-plan, ou du moins l’un des arrière-plans possibles...

In traditional epistemology, psychological self-knowledge is taken to be the paradigm of privleged a priori knowledge. According to an influential incompatibilist line of thought, traditional epistemic features attributed to psychological self-knowledge are supposed to be inconsistent with content externalism. In this paper, I examine one prominent compatibilist response by an advocate of content externalism, i.e., Fred Dretske's answer tot he incompatibilist argument, based on the model of displaced perceptual knowledge. I discuss the costs and benefits of his answer.

Pierre Bourdieu is arguably one of the twentieth century’s greatest socio-philosophical thinkers and his writings have much to offer anyone interested in the ways that people value, consume and produce architecture. Bourdieu spent much of his life attempting to understand cultural consumption and production through detailed empirical research that included studies of dwellings, art, museums, photography and aesthetics. This book introduces the architectural reader to Bourdieu’s key writings on culture and outlines the ways in which they offer powerful practical (...) tools and novel conceptual frameworks for understanding architectural value, taste, and practice. (shrink)

This paper reviews Deleuze’s theory of language in Logic of Sense, and Deleuze and Guattari’s theory of language in A Thousand Plateaus. In the ontology informed by the Stoics described in those books, human being and language do not exist separately but in a mixture of words and things. The author argues that this flattened ontology of surfaces is incommensurable with the ontology of depth used in conventional humanist qualitative methodology and recommends beginning new empirical inquiry with a concept instead (...) of with method and methodology. (shrink)

Theories of reference have been central to analytic philosophy, and two views, the descriptivist view of reference and the causal-historical view of reference, have dominated the field. In this research tradition, theories of reference are assessed by consulting one’s intuitions about the reference of terms in hypothetical situations. However, recent work in cultural psychology (e.g., Nisbett et al. 2001) has shown systematic cognitive differences between East Asians and Westerners, and some work indicates that this extends to intuitions about philosophical cases (...) (Weinberg et al. 2001). In light of these findings on cultural differences, two experiments were conducted which explored intuitions about reference in Westerners and East Asians. Both experiments indicate that, for certain central cases, Westerners are more likely than East Asians to report intuitions that are consistent with the causal-historical view. These results constitute prima facie evidence that semantic intuitions vary from culture to culture, and the paper argues that this fact raises questions about the nature of the philosophical enterprise of developing a theory of reference. (shrink)

This article is concerned with one of the notable but forgotten research strands that developed out of French nineteenth-century positivism, a strand that turned attention to the study of scientific discovery and was actively pursued by French epistemologists around the turn of the nineteenth century. I first sketch the context in which this research program emerged. I show that the program was a natural offshoot of French neopositivism; the latter was a current of twentieth-century thought that, even if implicitly, challenged (...) the positivism of first-generation positivists such as Comte. I then survey what French epistemologists—including Ernest Naville, Élie Rabier, Pierre Duhem, Édouard Le Roy, Abel Rey, André Lalande, Théodule-Armand Ribot, Edmond Goblot, and Jacques Picard, among others—had to say about the logic, psychology, and sociology of discovery. My story demonstrates the inaccuracy of existing historical accounts of the philosophical study of scientific discovery. (shrink)

Are there any advantages to thinking and speaking about ethical business in the language of citizenship? We will address this question in part by looking at the possible relevance of a vast literature on individual citizenship that has been produced by political philosophers over the last fifteen years. Some of the central elements of citizenship do not seem to apply straightforwardly to corporations. E.g., “citizenship” typically implies membership in a state and an identity akin to national identity; but this connotation (...) of citizenship is obviously problematic for multinational corporations. However, the language of citizenship does help to focus our attention on various legal and political virtues (or vices) for corporations—topics that have been largely neglected by discussions under other rubrics, such as CSR or sustainability. We finish with an evaluation of the potential benefits and costs of conceptualizing and talking about ethical business practices in the language of citizenship. (shrink)

The project of this Précis de philosophie de la logique et des mathématiques (vol. 1 under the direction of F. Poggiolesi and P. Wagner, vol. 2 under the direction of A. Arana and M. Panza) aims to offer a rich, systematic and clear introduction to the main contemporary debates in the philosophy of mathematics and logic. The two volumes bring together the contributions of thirty researchers (twelve for the philosophy of logic and eighteen for the philosophy of mathematics), specialists in (...) the history or philosophy of logic or mathematics. Each volume consists of ten chapters; each chapter is about forty pages, is independent from the others and deals with a particular philosophical question about logic or mathematics. The objective is to offer to the French-speaking reader a reference book. On many of the issues addressed, this Précis offers the first clear and thorough synthesis that is available in French. -/- This book is intended for third year / master's students, but also for teachers of philosophy in secondary or higher education, for logicians and mathematicians willing to take a philosophical look at the fundamental concepts of their discipline, and for any reader interested in the basic issues discussed in the philosophy of logic and mathematics. Each chapter is self-contained, although some basic training in logic (or in mathematics, as the case may be) is required. The book should be looked at as a comprehensive framework for contemporary discussions in the philosophy of logic and mathematics, while also giving some guidance on the disciplinary content required by these discussions. -/- The first three chapters of the present volume (on the philosophy of mathematics) are devoted to the history of the philosophy of mathematics: from antiquity to the modern era, and from this period to the foundational crisis of the nineteenth century, to the twentieth century. Next, four chapters deal with the crucial questions for the philosophy of mathematics of the twentieth century: the opposition and/or comparison of set theory and category theory as foundational frameworks for mathematics; mathematical constructivism; the analysis of calculability; and Benaceraff's problem. The two following chapters are focused on the philosophy of mathematical practice, by treating the notion of ideals of proof, in particular explanation and purity, and the notion of informal proof and the use of visual artifacts in mathematical argumentation. Finally the last chapter deals with the applicability of mathematics, including the role of probability. -/- In Chapter 1, Sébastien Maronne and David Rabouin present the history of the philosophy of mathematics from antiquity to the modern era. The goal is to show that the philosophy of mathematics has a history as ancient as mathematics and philosophy itself, a history largely continuous with the latter, often by staying out of sync with respect to the former. In Chapter 2, Sébastien Gandon discusses the question of the foundations of mathematics from Kant to the end of the nineteenth century. By tying this question to Kant, he is able to show that the discussion of the foundations of mathematics that occupied a large part of these two centuries has much older roots. Accent is placed on the differences between the framework proposed by Kant for making sense of classical mathematics and the use made by Frege and then Russell of logical tools for giving a different reading of arithmetic and real analysis. The link between between these different conceptions and the evolution of mathematics itself is also underlined. -/- Chapter 3, written by Hourya Benis-Sinaceur and Mirna Džamonja, deals with the evolution of mathematics in the twentieth century, notably the structuralist turn of Dedekind, E. Noether, and Bourbaki, and certain more recent developments. They devote themselves, among other things, to explaining how these developments can be understood as responses to and extensions of questions posed during the foundational debate of the immediately preceding era. -/- In Chapter 4, Jean-Pierre Marquis and Jean-Jacques Szczeciniarz discuss the different foundational options coming from set theory and category theory. They discuss, among other things, Lawvere's program to replace ZF with an axiomatization of the category of sets, the latter judged better adapted to the needs of contemporary mathematics. Different reactions, as much philosophical as technical, raised by this program are also taken into account. -/- Constructive mathematics are the object of Chapter 5, in which Gerhard Heinzmann and Mark van Atten examine in a critical and comparative manner a variety of constructivisms, including intuitionism, constructive type theory, predicativism, and finitism. -/- In Chapter 6, Guido Gherardi and Maël Pegny present computability theory, stressing its philosophical consequences. They discuss the basic concepts of this theory, for the computability of both the natural numbers and the real numbers. They then tackle the theory of computational complexity. -/- In Chapter 7, Andrea Sereni and Fabrice Pataut present Benacerraf's problem, opposing every possible account of mathematical knowledge to the availability of a theory of truth founded on an abstract ontology of mathematical objects. They give an overview of the original problem and its reformulation by Hartry Field, and reconstruct the debate that this problem has raised, by meeting at once the major opposing positions today of the analytic affiliation of the philosophy of mathematics, as much those on the platonist side as on that of nominalism. -/- In Chapter 8, Valeria Giardino and Yacin Hamami treat certain crucial aspects of the philosophy of mathematical practice. They deal in particular with the notion of an informal proof and on the role of artifacts in mathematical reasoning. They consider how such proofs, making use of these means, can contribute to the understanding of theorems and mathematical theories, thanks also to the role of visualisation and the aid of computer tools. -/- Why do mathematics often give several proofs of the same theorem? This is the question that Andrew Arana raises in Chapter 9, introducing the notion of an epistemic ideal and discuss two such ideals, the explanatoriness and purity of proof. -/- Chapter 10 is devoted to the applicability of mathematics in the study of empirical phenomena. After summarizing the history of this question, going back to Plato and Aristotle and passing by Mill and Kant, Daniele Molinini and Marco Panza reconstruct the contemporary debate, in relation, among other things, to questions raised in the philosophy of science. -/- Two appendices complete the volume. In the first Frédéric Patras treats the French tradition in philosophy of mathematics of the 20th century. In the second, Maria Carla Galavotti discusses the notion of probability and its use in science. (shrink)

In several disciplines within science—evolutionary biology, molecular biology, astrobiology, synthetic biology, artificial life—and outside science—primarily ethics—efforts to define life have recently multiplied. However, no consensus has emerged. In this article, I argue that this is no accident. I propose a dilemma showing that the project of defining life is either impossible or pointless. The notion of life at stake in this project is either the folk concept of life or a scientific concept. In the former case, empirical evidence shows that (...) life cannot be defined. In the latter case, I argue that, although defining life may be possible, it is pointless. I conclude that scientists, philosophers, and ethicists should discard the project of defining life. (shrink)

Recent experimental fi ndings by Knobe and others ( Knobe, 2003; Nadelhoffer, 2006b; Nichols and Ulatowski, 2007 ) have been at the center of a controversy about the nature of the folk concept of intentional action. I argue that the signifi cance of these fi ndings has been overstated. My discussion is two-pronged. First, I contend that barring a consensual theory of conceptual competence, the signifi cance of these experimental fi ndings for the nature of the concept of intentional action (...) cannot be determined. Unfortunately, the lack of progress in the philosophy of concepts casts doubt on whether such a consensual theory will be found. Second, I propose a new, defl ationary interpretation of these experimental fi ndings, ‘ the trade-off hypothesis ’ , and I present several new experimental fi ndings that support this interpretation. (shrink)

: While thought experiments play an important role in contemporary analytic philosophy, much remains unclear about thought experiments. In particular, it is still unclear whether the judgments elicited by thought experiments can provide evidence for the premises of philosophical arguments. This article argues that, if an influential and promising view about the nature of the judgments elicited by thought experiments is correct, then many thought experiments in philosophy fail to provide any evidence for the premises of philosophical arguments.

PREFACEProf. Göran Sundholm of Leiden University inspired the group of Logic at Lille and Valparaíso to start a fundamental review of the dialogical conception of logic by linking it to constructive type logic. One of Sundholm's insights was that inference can be seen as involving an implicit interlocutor. This led to several investigations aimed at exploring the consequences of joining winning strategies to the proof-theoretical conception of meaning. The leading idea is, roughly, that while introduction rules lay down the conditions (...) under which a winning strategy for the Proponent may be built, the elimination rules lay down those elements of the Opponent's assertions that the Proponent has the right to use for building winning strategy. It is the pragmatic and ethical features of obligations and rights that naturally lead to the dialogical interpretation of natural deduction.During the Visiting Professorship of Prof. Sundholm at Lille in (2012) the group of Lille started delving into the ways of implementing Per Martin-Löf's Constructive Type Theory with the dialogical perspective. In particular, Aarne Ranta's (1988) paper, the first publication on the subject, was read and discussed during Sundholm’s seminar. The discussions strongly suggested that the game-theoretical conception of quantifiers as deploying interdependent moves provide a natural link between CTT and dialogical logic. This idea triggered several publications by the group of Lille in collaboration with Nicolas Clerbout and Juan Redmond at the University of Valparaíso, including the publication of the book (2015) by Clerbout / Rahman that provides a systematic development of this way of linking CTT and the dialogical conception of logic. However the Clerbout / Rahman book was written from the CTT perspective on dialogical logic, rather than the other way round. The present book should provide the perspective from the other side of the dialogue between the Dialogical Framework and Constructive Type Theory. The main idea of our present study is that Sundholm's (1997) notion of epistemic assumption is closely linked to the Copy-Cat Rule or Socratic Rule that distinguishes the dialogical framework from other game-theoretical approaches. One way to read the present book is as a further development of Sundholm’s extension of Austin's (1946, p. 171) remark on acts of assertion to inference. Indeed, Sundholm (2013, p. 17) gave the following forceful formulation: When I say therefore, I give others my authority for asserting the conclusion, given theirs for asserting the premisses.Per Martin-Löf, in recent lectures, have utilized the dialogical perspective on epistemic assumptions to get out of a certain circle that threatens the explanation of the notions of inference and demonstration. A demonstration may be explained as a chain of (immediate) inferences starting from no premisses. That an inference J1... Jn—————Jis valid means that the conclusion J can be made evident on the assumption that J1, …, Jn are known. The notion of epistemic assumption thus enters in the explanation of valid inference. We cannot, however, in this explanation understand 'known' in the sense of demonstrated, for then we are explaining the notion of inference in terms of demonstration, whereas demonstration has been explained in terms of inference. Martin-Löf suggests that we here understand 'known' in the sense of asserted, so that epistemic assumptions are judgements others have made, judgements for which others have taken the responsibility; that the inference is valid then means that, given that others have taken responsbility for the premisses, I can take responsibility for the conclusion:The circularity problem is this: if you define a demonstration to be a chain of immediate inferences, then you are defining demonstration in terms of inference. Now we are considering an immediate inference and we are trying to give a proper explanation of that; but, if that begins by saying: Assume that J1, …, Jn have been demonstrated – then you are clearly in trouble, because you are about to explain demonstration in terms of the notion of immediate inference, hence when you are giving an account of the notion of immediate inference, the notion of demonstration is not yet at your disposal. So, to say: Assume that J1, …, Jn have already been demonstrated, makes you accusable of trying to explain things in a circle. The solution to this circularity problem, it seems to me now, comes naturally out of this dialogical analysis. […]The solution is that the premisses here should not be assumed to be known in the qualified sense, that is, to be demonstrated, but we should simply assume that they have been asserted, which is to say that others have taken responsibility for them, and then the question for me is whether I can take responsibility for the conclusion. So, the assumption is merely that they have been asserted, not that they have been demonstrated. That seems to me to be the appropriate definition of epistemic assumption in Sundholm's sense. One of the main tenets of the present study is that the further move of relating the Socratic Rule rule with judgemental equality provides both a simpler and more direct way to implement the constructive type theoretical approach within the dialogical framework. Such a reconsideration of the Socratic Rule, roughly speaking, amounts to the following. 1.A move from P that brings-forward a play-object in order to defend an elementary proposition A can be challenged by O. 2.The answer to such a challenge, involves P bringing forward a definitional equality that expresses the fact that the play-object chosen by P copies the one O has chosen while positing A. For short, the equality expresses at the object-languaje level that the defence of P relies on the authority given to O to be able to produce the play-objects she brings forward. More generally, according to this view, a definitional equality established by P and brought forward while defending the proposition A, expresses the equality between a play-object (introduced by O) and the instruction for building a play-object deployed by O while affirming A. So it can be read as a computation rule that indicates how to compute O's instructions. Let us recall that from the strategic point of view, O's moves correspond to elimination rules of demonstrations. Thus, the dialogical rules that prescribe how to introduce a definitional equality – correspond – at the strategic level – to the definitional equality rules for CTT as applied to the selector-functions involved in the elimination rules. So, what we are doing here is extending the dialogical interpretation of Sundholm's epistemic assumption to the rules that set up the definitional equality of a type.The present work is structured in the following way:•In the Introduction we state the main tenets that guide our book•Chapter II contains a brief overview of Constructive Type Theory penned by Ansten Klev with exercises and their solutions. •Chapter III offers a novel presentation of the dialogical conception of logic. In fact, the first two sections of the chapter provide an overview of standard dialogical logic – including solved exercises, slightly adapted to the content of the present volume. The rest of the sections develop a new dialogical approach to Constructive Type Theory. •Chapters IV and V contain the main body of our study, namely the relation between the Socratic Rule, epistemic assumptions, and equality. The chapter provides the reader with thoroughly worked out examples with comments. •After the Final Remarks the book containsa.An appendix containing a an overview of all the rules for the new formulation of dialogical approach to constructive type theory developed in the book; b.a brief outline of Per Martin-Löf's informal presentation of the demonstration of the axiom of choice.c.two examples of a tree-shaped graph of an extensive strategy. Acknowledgments: Many thanks to Mark van Atten (Paris1), Giuliano Bacigalupo (Zürich), Charles Zacharie Bowao (Univ. Ma Ngouabi de Brazzaville, Congo), Christian Berner (Lille3), Michel Crubellier (Lille3), Pierre Cardascia (Lille3), Oumar Dia (Dakar), Marcel Nguimbi ((Univ. Marien Ngouabi de Brazzaville, Congo), Adjoua Bernadette Dango (Lille3 / Alassane Ouattara de Bouaké, Côte d'Ivoire), Steephen Rossy Eckoubili (Lille3), Johan Georg Granström (Zürich), Gerhard Heinzmann (Nancy2), Muhammad Iqbal (Lille3), Matthieu Fontaine (Lille3), Radmila Jovanovic (Belgrad), Hanna Karpenko (Lille3), Laurent Keiff (Lille3), Sébastien Magnier (Saint Dennis, Réunion), Clément Lion (Lille3), Gildas Nzokou (Libreville), Fachrur Rozie (Lille3), Helge Rückert (Mannheim), Mohammad Shafiei (Paris1), and Hassan Tahiri (Lisbon), for rich interchanges, suggestions on the main claims of the present study and proof-reading of specific sections of the text. Special thanks to Gildas Nzokou (Libreville), Steephen Rossy Eckoubili (Lille3) and Clément Lion (Lille3), with whom a Pre-Graduate Textbook in French on dialogical logic and CTT is in the process of being worked out – during the visiting-professorship in 2016 of the former. Eckoubili is the author of the sections on exercises for dialogical logic, Nzokou cared of those involving the development of CTT-demonstrations out of winning-strategies. Special thanks also to Ansten Klev (Prague) for helping with technical details and conceptual issues on CTT, particularly so as author of the chapter introducing CTT. (shrink)

The involvement of developing countries in international clinical trials is necessary for the development of appropriate medicines for local populations. However, the absence of appropriate structures for ethical review represents a barrier for certain countries. Currently there is very little information available on existing structures dedicated to ethics in western and central Africa. This article briefly describes historical milestones in the development of networks dedicated to capacity building in ethical review in these regions and outlines the major conclusions of two (...) workshops on this issue, which were held in September and October 2002 in Libreville, Gabon, and Paris, France. The workshops were the culmination of collaboration between the African Malaria Network Trust (AMANET) and the Pan African Bioethics Initiative (PABIN). They produced an update on ethics organizations with regard to mission, function, activities, members, and contact people, in eight countries within the regions discussed. As a result of the commitment of mandated delegates, a further prominent outcome followed these workshops: the creation of national structures, where none existed before, dedicated to the ethical review of clinical trials. (shrink)

Les mathématiques sont bien plus qu’une science, tant elles ont acquis un statut central et tout à fait particulier. Elles sont à la fois un langage permettant d’articuler la réalité et un outil qui façonne le réel, et jouent à ce titre un rôle clé dans le développement des sciences de la nature, des sciences humaines et sociales, et de l’industrie. Leur position centrale dans les mécanismes de sélection et de reproduction qui caractérisent l’enseignement en France en fait par ailleurs (...) un enjeu social majeur. L’essence des mathématiques, c’est la liberté, disait Georg Cantor. Quelles sont les nouvelles frontières, les nouveaux défis de cette science qui ne s’impose aucune limite? Comment cette science de l’abstraction s’inscrit-elle au cœur de la réalité, au point d’être incontournable? Quel rôle, quelle place, quelle responsabilité s’assignent les mathématiciens? Deux mathématiciens, Pierre Cartier qui fut l’un des piliers du fameux groupe Bourbaki et Cédric Villani, un des représentants les plus brillants de sa génération (médaille Fields en 2010), le mathématicien et historien des sciences Jean Dhombres, et le philosophe des sciences Gerhard Heinzmann nous invitent à débattre avec eux de l’activité mathématique et de ses conséquences sociales, tant dans l’histoire de l’humanité que dans le monde contemporain. (shrink)

Jean Cavaillès (15 mai 1903-17 février 1944) était un philosophe français, héros et l'un des organisateurs de la Résistance, avant d'être fusillé à 40 ans par les nazis. Une journée d'hommage lui a été consacrée le 17 février 2014 à l'Ecole normale supérieure de Paris. Pierre-Yves Canu, Tommy Murtagh, Hourya Benis Sinaceur, Paul Cortois, Alya Aglan, Baptiste Mélès, Gerhard Heinzmann et Jacques Lautman présentent un Cavaillès indissociablement philosophe et Résistant, explorent les racines de sa pensée, montrent l'actualité de (...) ses concepts. Jean-Jacques Szczeciniarz et Christian Houzel proposent une analyse du Mouvement de la jeunesse allemand, un historique de la société Les Amis de Jean Cavaillès, éditrice du présent recueil, et deux hommages à celui qui la présida de 1989 à 1995, le mathématicien Henri Cartan. (shrink)

Reverse inference is the most commonly used inferential strategy for bringing images of brain activation to bear on psychological hypotheses, but its inductive validity has recently been questioned. In this article, I show that, when it is analyzed in likelihoodist terms, reverse inference does not suffer from the problems highlighted in the recent literature, and I defend the appropriateness of treating reverse inference in these terms. 1 Introduction2 Reverse Inference3 Reverse Inference Defended3.1 Typical reverse inferences are fallacious3.2 No quick and (...) easy fix3.3 A likelihoodist defense of reverse inference3.4 An example4 Appropriateness of the Likelihoodist Approach4.1 Likelihoodist reverse inference is not applicable4.2 Cognitive neuroscientists are not interested in comparative conclusions4.3 Reverse inference and negative hypotheses4.4 Likelihoodist reverse inference may confuse cognitive neuroscientists4.5 Bayesian reverse inferences should be preferred to likelihoodist reverse inferences5 Conclusion. (shrink)